Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
451	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2008-03-25 23:53:18 Applied mathematics Theory of computation Systems Complex systems theory Cybernetics Computable function Church–Turing thesis Complexity Hypercyclic morphogenesis Theoretical computer science Science Computability theory
452	12 Informed learners T Understanding is compression, comprehension is compression! Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:04 Computer science Software engineering Finite-state machine GOLD Computing Automata theory Models of computation Deterministic finite automaton
453	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
454	International Journal of Foundations of Computer Science c World Scientific Publishing Company Semi-Automatic Distributed Synthesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2006-11-06 14:37:29 Models of computation Automata theory Finite-state machine
455	work (5). A contact network is a directed graph with a single special source s and a single special sink t. Each edge is labeled with either x or 2, where x is some variahle. Given any assignment of values to the variabl Add to Reading List Source URL: binds.cs.umass.edu Language: English - Date: 2014-12-01 15:40:28 Computability theory Turing machine Alan Turing Models of computation Hypercomputation Computability Computational complexity theory Church–Turing thesis Hava Siegelmann Theoretical computer science Computer science Theory of computation
456	A New-Millenium Attack on the Busy Beaver Problem∗ Kyle Ross, Owen Kellett, Bram van Heuveln, Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Sciencee Renss Add to Reading List Source URL: www.cogsci.rpi.edu Language: English - Date: 2006-06-19 14:20:06 Turing machine Computer science Models of computation Busy beaver Computability Halting problem Algorithm Finite-state machine Description number Theory of computation Computability theory Theoretical computer science
457	PHYSICAL REVIEW B 90, Compressed sensing quantum process tomography for superconducting quantum gates Andrey V. Rodionov,1 Andrzej Veitia,1 R. Barends,2 J. Kelly,2 Daniel Sank,2 J. Wenner,2 John M. Martini Add to Reading List Source URL: www.ee.ucr.edu Language: English - Date: 2014-10-10 15:04:57 Quantum information science Linear algebra Information theory Models of computation Quantum mechanics Quantum computer Qubit Quantum gate Compressed sensing Theoretical computer science Algebra Mathematics
458	5 Representing distributions over strings with automata and grammars T Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:02 Computer science Applied mathematics Nondeterministic finite automaton Markov chain Probabilistic automaton Deterministic finite automaton Finite-state machine Automata theory Models of computation Theoretical computer science
459	Computer algebra in quantum computing and quantum information theory Special Session at the 21st International Conference on Applications of Computer AlgebraACA2015), July 20-23, 2015, Kalamata, Greece. Add to Reading List Source URL: www.iitis.pl Language: English - Date: 2014-11-26 05:29:41 Quantum mechanics Computational complexity theory Computer algebra Quantum information Quantum information theory Quantum computer Quantum algorithm Symbolic computation Schrödinger equation Applied mathematics Theoretical computer science Physics
460	JMLR: Workshop and Conference Proceedings 34:207–217, 2014 Proceedings of the 12th ICGI Induction of Directed Acyclic Word Graph in a Bioinformatics Task Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Applied mathematics Computer science Directed acyclic word graph Deterministic finite automaton Algorithm Machine learning String searching algorithm DFA minimization Finite-state machine Automata theory Models of computation Theoretical computer science

UPDATE